# -*- mode: snippet -*-
# name: proof
# key: proof
# --
\begin{proof}
  $0
\end{proof}